<?php

	class json extends obj{
	
		function __tostring(){
			return json_encode($this);	
		}
	}


